787 research outputs found
Some Concerns Regarding Ternary-relation Semantics and Truth-theoretic Semantics in General
This paper deals with a collection of concerns that, over a period of time, led the author away from the RoutleyâMeyer semantics, and towards proof- theoretic approaches to relevant logics, and indeed to the weak relevant logic MC of meaning containment
A Rejection System for the First-Degree Formulae of some Relevant Logics
The standard Hilbert-style of axiomatic system yields the assertion of axioms and, via the use of rules, the assertion of theorems. However, there has been little work done on the corresponding axiomatic rejection of non-theorems. Such Hilbert-style rejection would be achieved by the inclusion of certain rejection-axioms (r-axioms) and, by use of rejection-rules (r-rules), the establishment of rejection-theorems (r-theorems). We will call such a proof a rejection-proof (r-proof). The ideal to aim for would be for the theorems and r-theorems to bemutually exclusive and exhaustive. That is, if a formula A is a theorem then it is not an r-theorem, and if A is a non-theorem then it is an r-theorem. In this paper, I present a rejecion system for the first-degree formulae of a large number of relevant logics
Extending Metacompleteness to Systems with Classical Formulae
In honour of Bob Meyer, the paper extends the use of his concept of metacompleteness to include various classical systems, as much as we are able. To do this for the classical sentential calculus, we add extra axioms so as to treat the variables like constants. Further, we use a one-sorted and a two-sorted approach to add classical sentential constants to the logic DJ of my book, Universal Logic. It is appropriate to use rejection to represent classicality in the one-sorted case. We then extend these methods to the quantified logics, but we use a finite domain of individual constants to do this
A Rejection System for the First-Degree Formulae of some Relevant Logics
The standard Hilbert-style of axiomatic system yields the assertion of axioms and, via the use of rules, the assertion of theorems. However, there has been little work done on the corresponding axiomatic rejection of non-theorems. Such Hilbert-style rejection would be achieved by the inclusion of certain rejection-axioms (r-axioms) and, by use of rejection-rules (r-rules), the establishment of rejection-theorems (r-theorems). We will call such a proof a rejection-proof (r-proof). The ideal to aim for would be for the theorems and r-theorems to bemutually exclusive and exhaustive. That is, if a formula A is a theorem then it is not an r-theorem, and if A is a non-theorem then it is an r-theorem. In this paper, I present a rejecion system for the first-degree formulae of a large number of relevant logics
Extending Metacompleteness to Systems with Classical Formulae
In honour of Bob Meyer, the paper extends the use of his concept of metacompleteness to include various classical systems, as much as we are able. To do this for the classical sentential calculus, we add extra axioms so as to treat the variables like constants. Further, we use a one-sorted and a two-sorted approach to add classical sentential constants to the logic DJ of my book, Universal Logic. It is appropriate to use rejection to represent classicality in the one-sorted case. We then extend these methods to the quantified logics, but we use a finite domain of individual constants to do this
The Role of Individual Variables, Organizational Variables and Moral Intensity Dimensions in Libyan Management Accountantsâ Ethical Decision Making
This study investigates the association of a broad set of variables with the ethical decision making of management accountants in Libya. Adopting a cross-sectional methodology, a questionnaire including four different ethical scenarios was used to gather data from 229 participants. For each scenario, ethical decision making was examined in terms of the recognition, judgment and intention stages of Restâs model. A significant relationship was found between ethical recognition and ethical judgment and also between ethical judgment and ethical intention, but ethical recognition did not significantly predict ethical intentionâthus providing support for Restâs model. Organizational variables, age and educational level yielded few significant results. The lack of significance for codes of ethics might reflect their relative lack of development in Libya, in which case Libyan companies should pay attention to their content and how they are supported, especially in the light of the under-development of the accounting profession in Libya. Few significant results were also found for gender, but where they were found, males showed more ethical characteristics than females. This unusual result reinforces the dangers of gender stereotyping in business. Personal moral philosophy and moral intensity dimensions were generally found to be significant predictors of the three stages of ethical decision making studied. One implication of this is to give more attention to ethics in accounting education, making the connections between accounting practice and (in Libya) Islam. Overall, this study not only adds to the available empirical evidence on factors affecting ethical decision making, notably examining three stages of Restâs model, but also offers rare insights into the ethical views of practising management accountants and provides a benchmark for future studies of ethical decision making in Muslim majority countries and other parts of the developing world
Facilitators and âdeal breakersâ: a mixed methods study investigating implementation of the goal setting and action planning (G-AP) framework in community rehabilitation teams
Background:
High quality goal setting in stroke rehabilitation is vital, but challenging to deliver. The G-AP framework (including staff training and a stroke survivor held G-AP record) guides patient centred goal setting with stroke survivors in community rehabilitation teams. We found G-AP was acceptable, feasible to deliver and clinically useful in one team. The aim of this study was to conduct a mixed methods investigation of G-AP implementation in diverse community teams prior to a large-scale evaluation.
Methods:
We approached Scottish community rehabilitation teams to take part. Following training, G-AP was delivered to stroke survivors within participating teams for 6âmonths. We investigated staff experiences of G-AP training and its implementation using focus groups and a training questionnaire. We investigated fidelity of G-AP delivery through case note review. Focus group data were analysed using a Framework approach; identified themes were mapped into Normalisation Process Theory constructs. Questionnaire and case note data were analysed descriptively.
Results:
We recruited three teams comprising 55 rehabilitation staff. Almost all staff (93%, 51/55) participated in G-AP training; of those, 80% (nâ=â41/51) completed the training questionnaire. Training was rated as âgoodâ or âvery goodâ by almost all staff (92%, nâ=â37/41). G-AP was broadly implemented as intended in two teams. Implementation facilitators included - G-AP âmade senseâ; repetitive use of G-AP in practice; flexible G-AP delivery and positive staff appraisals of G-AP impact. G-AP failed to gain traction in the third team. Implementation barriers included - delays between G-AP training and implementation; limited leadership engagement; a poor âfitâ between G-AP and the team organisational structure and simultaneous delivery of other goal setting methods. Staff recommended (i) development of training to include implementation planning; (ii) ongoing local implementation review and tailoring, and (iii) development of electronic and aphasia friendly G-AP records.
Conclusions:
The interaction between G-AP and the practice setting is critical to implementation success or failure. Whilst facilitators support implementation success, barriers can collectively act as implementation âdeal breakersâ. Local G-AP implementation efforts should be planned, monitored and tailored. These insights can inform implementation of other complex interventions in community rehabilitation settings
First narrow-band search for continuous gravitational waves from known pulsars in advanced detector data
Spinning neutron stars asymmetric with respect to their rotation axis are potential sources of
continuous gravitational waves for ground-based interferometric detectors. In the case of known pulsars a
fully coherent search, based on matched filtering, which uses the position and rotational parameters
obtained from electromagnetic observations, can be carried out. Matched filtering maximizes the signalto-
noise (SNR) ratio, but a large sensitivity loss is expected in case of even a very small mismatch
between the assumed and the true signal parameters. For this reason, narrow-band analysis methods have
been developed, allowing a fully coherent search for gravitational waves from known pulsars over a
fraction of a hertz and several spin-down values. In this paper we describe a narrow-band search of
11 pulsars using data from Advanced LIGOâs first observing run. Although we have found several initial
outliers, further studies show no significant evidence for the presence of a gravitational wave signal.
Finally, we have placed upper limits on the signal strain amplitude lower than the spin-down limit for 5 of
the 11 targets over the bands searched; in the case of J1813-1749 the spin-down limit has been beaten for
the first time. For an additional 3 targets, the median upper limit across the search bands is below the
spin-down limit. This is the most sensitive narrow-band search for continuous gravitational waves carried
out so far
- âŠ